public class StateObserverInfo extends ElementInfo {

	private Type type;
	private Expr inv;

}